Nuprl Definition : biject
13,42
postcript
pdf
Bij(
A
;
B
;
f
) == Inj(
A
;
B
;
f
) & Surj(
A
;
B
;
f
)
latex
Up
fun
1
,
fun
1
Wellformedness Lemmas
biject
wf
,
biject
wf
Definitions
P
&
Q
,
Inj(
A
;
B
;
f
)
,
Surj(
A
;
B
;
f
)
FDL editor aliases
biject
origin